Concurrent Programming with Multi-Agents and the Chemical Abstract Machine
نویسندگان
چکیده
In this chapter, we propose a new concurrent programming approach called MACH (multi-agent extended chemical abstract machine). MACH extends the chemical abstract machine with multiple coexisting agents. This paper focuses on the design, implementation, and verification of MACH. The aim of MACH is to develop a reactive programming language based on an interactive computational model, which we believe is the key to concurrent programming. We present MACH as a simple and efficient programming approach based on a sound theoretical background.
منابع مشابه
An Implementation Model of the Typed -calculus Based on Linear Chemical Abstract Machine
Abramsky's Linear Chemical Abstract Machine is a term calculus which corresponds to Linear Logic, via the Curry-Howard iso-morphism. We show that the typed-calculus is embedded into Linear Chemical Abstract Machine by Girard's embedding of Intuitionistic Logic into Linear Logic. Then we extend our result to a simple functional programming language obtained from the typed-calculus by adding cons...
متن کاملAn Abstract Machine for Curry and Its Concurrent Implementation in Java
Curry is a multi-paradigm declarative language aiming to amalgamate functional, logic, and concurrent programming paradigms. Curry combines in a seamless way features from functional programming and (concurrent) logic programming. Curry’s operational semantics is based on the combination of lazy reduction of expressions together with a possibly non-deterministic binding of free variables occurr...
متن کاملA Mathematical Programming Model and Genetic Algorithm for a Multi-Product Single Machine Scheduling Problem with Rework Processes
In this paper, a multi-product single machine scheduling problem with the possibility of producing defected jobs, is considered. We concern rework in the scheduling environment and propose a mixed-integer programming (MIP) model for the problem. Based on the philosophy of just-in-time production, minimization of the sum of earliness and tardiness costs is taken into account as the objective fu...
متن کاملConstraint Functional Multicore Programming
In this paper we present the concurrent constraint functional programming language CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source language CCFL is a simple lazy functional language with a polymorphic type system augmented by ask-/tell-constraints and conjunctions to express concurrent coordination patterns. As execution model for CCFL we ...
متن کاملConcurrent Programming in T-cham
A coordination style programming language, T-Cham, is proposed. It is based on the paradigm of the chemical abstract machine (Cham) and transaction programming paradigm. Hierarchical tuple spaces, where the \molecules" of the Cham reside, are used to coordinate the concurrent transactions, which could be written in any language, such as C, Pascal, or Fortran etc., even T-Cham itself, as long as...
متن کامل